sequent calculus
[网络] 相继式演算
热门查询
- beachfront n. 海滨地区 adj. 靠海滨的
- unrepeatable adj. 不可重复的；粗俗下流的
- Sycorax 天卫十七（天王星的卫星）
- divagate vi. 离题；流浪；漫游
- mannish adj. 成人似的；像男子的
- shambling adj. 拖沓的；呆滞的 v. 拖着脚步走；蹒跚的走（shamble的ing形式）
- acropolis n. （古希腊都城的）卫城；城堡
- killer n. 杀手；致死；止痛药；宰杀的器具；断路器 n. (Killer)人名；(德、匈、捷)基勒
- cannulation n. 管子；中空
- acrophobia n. 恐高症，高处恐怖症
- edwardes (edwarde 的复数) [人名] 爱德华
- fractured adj. 断裂的；挫伤的；折裂的 v. 断裂（fracture的过去式）
- strainer n. 过滤器；松紧扣；用力拉的人，拉紧者
- Coulthard [人名] [北方英格兰人、苏格兰人姓氏] 科尔塔德职业名称，牧驴或牧马者，来源于古英语，含义是“驴，马+牧人”(ass,young horse+herdsman)
- heir n. [法] 继承人；后嗣；嗣子
- steeple n. 尖塔；尖顶 vt. 把…建成尖塔
- reverberant adj. 回响的；反射的；起回声的
- subcontinent n. 次大陆
- didst v. <古>（与thou一起使用），do的第二人称单数过去式
- deplete vt. 耗尽，用尽；使衰竭，使空虚
考试词汇表
- acute suppurative myelitis
- acute suppurative orchitis
- acute suppurative pulpitis
- acute supurative arthritis
- acute thrombotic phlebitis
- acute toxic encephalopathy
- acute transformation phase
- acute transplant rejection
- acute tumor lysis syndrome
- acutedentoalveolar abscess
- acutelaryngeal obstruction
- acyclovir(acycloguanosine)
- acyl carrier protein (ACP)
- acyl coenzyme A synthetase
- acylamino carboxylic acids
- acylaminoanthraquinone dye
- acylglycerophosphoglycerol
- acylglycerophosphoinositol
- acyloin-endiol tautomerism
- ad for inviting enterprice
